# SPDX-License-Identifier: Apache-2.0

kernel_library()

kernel_library_sources(
  fork.c futex.c ioctl.c mmap.c read_write.c signal.c
)
